Proj: 『Homotopy Type Theory Univalent Foundations of Mathematics』を理解する？
『Homotopy Type Theory: Univalent Foundations of Mathematics』
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 1 Type theory
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 2 Homotopy type theory
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 3 Sets and logic
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 8 Homotopy theory
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 9 Category theory
n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1(2026)
, 技術書出版と販売のラムダノート. 2026-01-15
Homotopy Type Theoryの参考文献
ホモトピー論の参考文献